Distributed and Parallel Demand Driven Logic Simulation Algorithms

Distributed logic simulation: time-first evaluation vs. event driven algorithms

With the increasing complexity of VLSI circuits, simulation of digital circuits is becoming a more complex and time-consuming task. General purpose parallel processing machines are increasingly being used to speed up a variety of VLSI CAD applications. All previous works on mapping sequential logic simulation algorithms onto general purpose parallel machines were centered around using Event-Dri...

Execution-Driven Distributed Simulation of Parallel Architectures

A new methodology for the asynchronous discrete event-driven simulation of parallel computers is proposed. This methodology integrates sequential and distributed simulation in a unified paradigm and is applicable to the simulation of all classes of parallel computer architectures. In our own simulation work we accelerated simulations by more than an order of magnitude with parallel execution sp...

Distributed Contingency Logic and Security

In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...

Parallel and Distributed Algorithms

The 6th Dagstuhl Seminar on Parallel and Distributed Algorithms was organized by Bruce M. Maggs (Carnegie Mellon University), Ernst W. Mayr (TUMünchen), and Friedhelm Meyer auf der Heide (Paderborn University). It brought together 26 participants from Canada, Germany, Greece, Italy, Italy, Poland, UK, and the USA. The presented talks covered a wide range of topics, like routing, load balancing,...

Parallel and Distributed Algorithms